<html>
<head><meta charset="utf-8"><title>meeting 2018-10-22 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html">meeting 2018-10-22</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="136283729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136283729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136283729">(Oct 22 2018 at 18:00)</a>:</h4>
<p>cc <span class="user-group-mention" data-user-group-id="692">@WG-compiler-traits</span> — sync time</p>
<p><a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--ALDA5111ZliLv5zlSgbjvDS2Ag-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--ALDA5111ZliLv5zlSgbjvDS2Ag-oDfr6ct8xx63HSAOOmIZX">Dropbox paper link.</a></p>



<a name="136283758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136283758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136283758">(Oct 22 2018 at 18:01)</a>:</h4>
<p>I'll give a few minutes for folks to show up :)</p>



<a name="136283935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136283935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136283935">(Oct 22 2018 at 18:04)</a>:</h4>
<p>OK, let's see...</p>



<a name="136283951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136283951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136283951">(Oct 22 2018 at 18:04)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> quick question about the bound-ty stuff, are you pursuing bringing all of that together under the general "late-bound" plan?</p>



<a name="136283982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136283982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136283982">(Oct 22 2018 at 18:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yes, my plan is to get rid of <code>ReCanonical</code> as well, and adapt the <code>shift_etc</code> routines to take into account bound tys</p>



<a name="136283983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136283983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136283983">(Oct 22 2018 at 18:05)</a>:</h4>
<p>great</p>



<a name="136283990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136283990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136283990">(Oct 22 2018 at 18:05)</a>:</h4>
<p>I was just rebasing the universe PR over those changes and I was confused for a sec because <code>ReCanonical</code> persisted</p>



<a name="136283992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136283992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136283992">(Oct 22 2018 at 18:05)</a>:</h4>
<p>ok, so, this week is the RC2 release</p>



<a name="136284034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284034">(Oct 22 2018 at 18:06)</a>:</h4>
<p>so that is kind of consuming me but I am hopeful to be able to start devoting more dedicated time after that is done</p>



<a name="136284048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284048">(Oct 22 2018 at 18:06)</a>:</h4>
<p>I don't see much activity on the <a href="https://github.com/rust-lang/rust/labels/chalk-integration" target="_blank" title="https://github.com/rust-lang/rust/labels/chalk-integration">chalk-integration issues</a> since last week</p>



<a name="136284057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284057">(Oct 22 2018 at 18:06)</a>:</h4>
<p>(meta-question: is GH back up and operational yet?)</p>



<a name="136284077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284077">(Oct 22 2018 at 18:07)</a>:</h4>
<p>(meta-answer: <a href="https://status.github.com" target="_blank" title="https://status.github.com">https://status.github.com</a> )</p>



<a name="136284090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284090">(Oct 22 2018 at 18:08)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> one thing we should perhaps discuss-- but probably not in depth right now. I've been looking today at <a href="https://github.com/rust-lang/rust/issues/55222" target="_blank" title="https://github.com/rust-lang/rust/issues/55222">https://github.com/rust-lang/rust/issues/55222</a>, which has to do with trying to enforce some subset of bounds for type aliases (e.g., <code>type Foo = Bar</code>...)</p>



<a name="136284135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284135">(Oct 22 2018 at 18:08)</a>:</h4>
<p>btw <span class="user-mention" data-user-id="116009">@nikomatsakis</span> I opened a chalk PR which updates the assoc type rule, as we discussed <a href="https://github.com/rust-lang-nursery/chalk/pull/184" target="_blank" title="https://github.com/rust-lang-nursery/chalk/pull/184">https://github.com/rust-lang-nursery/chalk/pull/184</a></p>



<a name="136284143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284143">(Oct 22 2018 at 18:08)</a>:</h4>
<p>...for ... um ... "historical reasons", we do not do that presently, but it is interesting to discuss what strategy we want to be shooting for when it comes to implied bounds etc</p>



<a name="136284165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284165">(Oct 22 2018 at 18:09)</a>:</h4>
<p>ok, great, that reminds me that I was hoping to get some focus on further work within chalk, probably starting with trying to refactor to be more demand driven</p>



<a name="136284177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284177">(Oct 22 2018 at 18:09)</a>:</h4>
<p>(so that we can lower some traits but not all)</p>



<a name="136284235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284235">(Oct 22 2018 at 18:10)</a>:</h4>
<p>also I'm trying to think about how to represent trait objects in chalk, the main thing I have in mind is <a href="https://github.com/rust-lang/rust/issues/44454" target="_blank" title="https://github.com/rust-lang/rust/issues/44454">https://github.com/rust-lang/rust/issues/44454</a> (which I'm not sure I have a solution for yet :P)</p>



<a name="136284247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284247">(Oct 22 2018 at 18:10)</a>:</h4>
<p>ah,  yes,  I keep forgetting that we need to think about that, too</p>



<a name="136284256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284256">(Oct 22 2018 at 18:10)</a>:</h4>
<p>I think that's the main blocker</p>



<a name="136284262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284262">(Oct 22 2018 at 18:10)</a>:</h4>
<p>do you think they should be integrated as a kind of builtin?</p>



<a name="136284264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284264">(Oct 22 2018 at 18:11)</a>:</h4>
<p>because the current object safety rules are easily translated into logical rules I think</p>



<a name="136284287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284287">(Oct 22 2018 at 18:11)</a>:</h4>
<p>well yes I was thinking of having them as some builtin types</p>



<a name="136284335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284335">(Oct 22 2018 at 18:12)</a>:</h4>
<p>in chalk this would just amount to have another variant in <code>enum TypeName</code> so that trait objects behave as special <code>ApplicationTy</code></p>



<a name="136284346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284346">(Oct 22 2018 at 18:12)</a>:</h4>
<p>we probably want to keep in mind genearlizing to <code>dyn (Foo + Bar)</code></p>



<a name="136284351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284351">(Oct 22 2018 at 18:12)</a>:</h4>
<p>yeah right</p>



<a name="136284353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284353">(Oct 22 2018 at 18:13)</a>:</h4>
<p>we should probably make a list of "things chalk needs to model but doesn't" and tag said issues with some special label</p>



<a name="136284362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284362">(Oct 22 2018 at 18:13)</a>:</h4>
<p>beyond <code>dyn</code> traits, there is specialization, but are there other things I am overlooking? :)</p>



<a name="136284421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284421">(Oct 22 2018 at 18:14)</a>:</h4>
<p>I don't think so, presuming that we treat other associated items like fn and constants roughly like associated types</p>



<a name="136284430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284430">(Oct 22 2018 at 18:14)</a>:</h4>
<p>we kind of have to work out resolving methods to a specific impl, though I had hoped to handle that as associated types, exactly</p>



<a name="136284437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284437">(Oct 22 2018 at 18:14)</a>:</h4>
<p>I guess it's a bit of an "open question" how much special treatment constants need. Seems like not much, that's kind of pushed to unification</p>



<a name="136284485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284485">(Oct 22 2018 at 18:15)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> what's your schedule looking like? :)</p>



<a name="136284528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284528">(Oct 22 2018 at 18:16)</a>:</h4>
<p>not sure if you are just lurking or actively looking for ways to spend your time :)</p>



<a name="136284546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284546">(Oct 22 2018 at 18:16)</a>:</h4>
<p>(either of which are fine, of course...)</p>



<a name="136284548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284548">(Oct 22 2018 at 18:16)</a>:</h4>
<p>about the remaining chalk integration issues, I see <a href="https://github.com/rust-lang/rust/issues/55096" target="_blank" title="https://github.com/rust-lang/rust/issues/55096">https://github.com/rust-lang/rust/issues/55096</a> which is fairly easy, so it might be a good thing to find someone to do that</p>



<a name="136284557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284557">(Oct 22 2018 at 18:16)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/55097" target="_blank" title="https://github.com/rust-lang/rust/issues/55097">https://github.com/rust-lang/rust/issues/55097</a> does not seem too hard either</p>



<a name="136284561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284561">(Oct 22 2018 at 18:17)</a>:</h4>
<p>yeah</p>



<a name="136284564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284564">(Oct 22 2018 at 18:17)</a>:</h4>
<p>I tried to identify those</p>



<a name="136284581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284581">(Oct 22 2018 at 18:17)</a>:</h4>
<p>maybe a good work item is to put better instructions and tag with E-mentor</p>



<a name="136284593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284593">(Oct 22 2018 at 18:17)</a>:</h4>
<p>seems doable</p>



<a name="136284643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284643">(Oct 22 2018 at 18:18)</a>:</h4>
<p>and once we have bound types + universes + <a href="https://github.com/rust-lang/rust/issues/55098" target="_blank" title="https://github.com/rust-lang/rust/issues/55098">https://github.com/rust-lang/rust/issues/55098</a> I guess we are basically done?</p>



<a name="136284671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284671">(Oct 22 2018 at 18:19)</a>:</h4>
<p>ah I forgot <a href="https://github.com/rust-lang/rust/issues/54935" target="_blank" title="https://github.com/rust-lang/rust/issues/54935">https://github.com/rust-lang/rust/issues/54935</a> of course</p>



<a name="136284686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284686">(Oct 22 2018 at 18:19)</a>:</h4>
<p>one thing at a time :)</p>



<a name="136284698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284698">(Oct 22 2018 at 18:19)</a>:</h4>
<p>so, some goals for the week, let's see... I think adding mentoring to those bugs + opening universe PRs will do it for me :)</p>



<a name="136284703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284703">(Oct 22 2018 at 18:20)</a>:</h4>
<p>I guess you'll keep pushing <span class="user-mention" data-user-id="131694">@scalexm</span> on the bound-ty stuff?</p>



<a name="136284769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284769">(Oct 22 2018 at 18:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yes, hopefully I'll have something working in the next few days</p>



<a name="136284779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284779">(Oct 22 2018 at 18:20)</a>:</h4>
<p>we should try to make <a href="https://github.com/rust-lang/rust/labels/chalk-integration" target="_blank" title="https://github.com/rust-lang/rust/labels/chalk-integration">https://github.com/rust-lang/rust/labels/chalk-integration</a> be a "milestone label" of sorts</p>



<a name="136284783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284783">(Oct 22 2018 at 18:20)</a>:</h4>
<p>so we can "drill it down"</p>



<a name="136284784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284784">(Oct 22 2018 at 18:20)</a>:</h4>
<p>I think that was my intention, not sure if there is anything extra int here</p>



<a name="136284791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136284791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136284791">(Oct 22 2018 at 18:20)</a>:</h4>
<blockquote>
<p>yes, hopefully I'll have something working in the next few days</p>
</blockquote>
<p>sounds great</p>



<a name="136285809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136285809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136285809">(Oct 22 2018 at 18:38)</a>:</h4>
<blockquote>
<p>not sure if you are just lurking or actively looking for ways to spend your time :)</p>
</blockquote>
<p>A bit of both. I am interviewing for jobs for the next week or so. Things are busy, but I am relatively available for small tasks. I would like to keep contributing in some way and am basically just looking for a way to do that. :)</p>



<a name="136285813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136285813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136285813">(Oct 22 2018 at 18:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> ^</p>



<a name="136286218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136286218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136286218">(Oct 22 2018 at 18:44)</a>:</h4>
<p>ok :)</p>



<a name="136286220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136286220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136286220">(Oct 22 2018 at 18:44)</a>:</h4>
<p>hmm</p>



<a name="136287457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136287457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136287457">(Oct 22 2018 at 19:05)</a>:</h4>
<p>I am mostly lurking for the next week or two, following along and trying to come up to speed. So, thank you to everyone who's written rustc documentation, it's super appreciated. (probably more like necessary :) Still planning on poking my head in if/when there seems like something that's a good fit for me.</p>



<a name="136289128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136289128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136289128">(Oct 22 2018 at 19:32)</a>:</h4>
<p>sorry I couldn't be there, was out tonight...</p>



<a name="136289193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136289193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136289193">(Oct 22 2018 at 19:33)</a>:</h4>
<p><span class="user-mention" data-user-id="120512">@uberjay</span> maybe take a look at one of the issues we talked about; I'll try to write some more detailed comments on one of them</p>



<a name="136289201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136289201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136289201">(Oct 22 2018 at 19:33)</a>:</h4>
<p>or is it still going on? :-)</p>



<a name="136289203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136289203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136289203">(Oct 22 2018 at 19:33)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> <span class="emoji emoji-1f44b" title="wave">:wave:</span> I'm taking a look at your PR... of course GH outage is kind of a pain</p>



<a name="136289208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136289208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136289208">(Oct 22 2018 at 19:33)</a>:</h4>
<p>Oh hey.</p>



<a name="136289210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136289210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136289210">(Oct 22 2018 at 19:33)</a>:</h4>
<p>Great.</p>



<a name="136289271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136289271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136289271">(Oct 22 2018 at 19:34)</a>:</h4>
<p>Yeah, it's quite annoying. I was grappling with it last night, almost 24 hours ago!</p>



<a name="136290954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136290954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136290954">(Oct 22 2018 at 19:59)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> making sense to you?</p>



<a name="136293243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202018-10-22/near/136293243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202018-10-22.html#136293243">(Oct 22 2018 at 20:28)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> you there?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>